Planning Domain Definition Language

Results: 128



#Item
11On the Use of Planning Technology for Verification Aws Albarghouthi Jorge A. Baier Sheila A. McIlraith

On the Use of Planning Technology for Verification Aws Albarghouthi Jorge A. Baier Sheila A. McIlraith

Add to Reading List

Source URL: www-vvps09.imag.fr

Language: English - Date: 2009-08-25 03:10:48
12Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc

Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc

Add to Reading List

Source URL: infolab.stanford.edu

Language: English - Date: 2010-08-28 23:41:19
13Sampling-based Motion Planning with High-Level Discrete Specifications Erion Plaku Abstract— Motion planning has generally focused on computing a collision-free trajectory to a goal region. Enhancing the ability of rob

Sampling-based Motion Planning with High-Level Discrete Specifications Erion Plaku Abstract— Motion planning has generally focused on computing a collision-free trajectory to a goal region. Enhancing the ability of rob

Add to Reading List

Source URL: www.cse.unr.edu

Language: English - Date: 2012-12-20 19:29:52
14Sampling-based Motion Planning with High-Level Discrete Specifications Erion Plaku Abstract— Motion planning has generally focused on computing a collision-free trajectory to a goal region. Enhancing the ability of rob

Sampling-based Motion Planning with High-Level Discrete Specifications Erion Plaku Abstract— Motion planning has generally focused on computing a collision-free trajectory to a goal region. Enhancing the ability of rob

Add to Reading List

Source URL: iros2011.org

Language: English - Date: 2011-09-21 07:00:36
15Generating and Evaluating Unsolvable STRIPS Planning Instances for Classical Planning Bachelor’s Thesis Natural Science Faculty of the University of Basel

Generating and Evaluating Unsolvable STRIPS Planning Instances for Classical Planning Bachelor’s Thesis Natural Science Faculty of the University of Basel

Add to Reading List

Source URL: ai.cs.unibas.ch

Language: English - Date: 2014-08-11 10:56:40
16A Beginner’s Introduction to Heuristic Search Planning 7. Going Further Malte Helmert

A Beginner’s Introduction to Heuristic Search Planning 7. Going Further Malte Helmert

Add to Reading List

Source URL: ai.cs.unibas.ch

Language: English - Date: 2015-01-20 05:17:56
17Action Planning & General Game Playing for Robots Stefan Edelkamp, Institute for Artificial Intelligence, University of Bremen One of the oldest dreams in the research area of Artificial Intelligence is the design of aut

Action Planning & General Game Playing for Robots Stefan Edelkamp, Institute for Artificial Intelligence, University of Bremen One of the oldest dreams in the research area of Artificial Intelligence is the design of aut

Add to Reading List

Source URL: faculty.cua.edu

Language: English - Date: 2015-05-26 14:10:44
18Authors’ preprint. The final publication is available at www.springerlink.com. (http://www.springerlink.com/content/w01w784704364806/) P LATAS – Integrating Planning and the Action Language Golog Jens Claßen · Gabr

Authors’ preprint. The final publication is available at www.springerlink.com. (http://www.springerlink.com/content/w01w784704364806/) P LATAS – Integrating Planning and the Action Language Golog Jens Claßen · Gabr

Add to Reading List

Source URL: ai.cs.unibas.ch

Language: English - Date: 2013-01-07 17:29:29
1952426—Artificial Intelligence Planning Practicals, 2008 The AI Course Team, Department of Computer and Information Sciences (sample rock rover0 rover0store waypoint3)

52426—Artificial Intelligence Planning Practicals, 2008 The AI Course Team, Department of Computer and Information Sciences (sample rock rover0 rover0store waypoint3)

Add to Reading List

Source URL: www.inf.kcl.ac.uk

Language: English - Date: 2011-11-03 17:18:55
20Curriculum Vitae Dr Daniele Magazzeni Current Position Position:

Curriculum Vitae Dr Daniele Magazzeni Current Position Position:

Add to Reading List

Source URL: www.inf.kcl.ac.uk

Language: English - Date: 2015-03-23 15:49:18